| Formal Aspects of Computing | |
|---|---|
| Discipline | Computer science, formal methods |
| Language | English |
| Edited by | Jim Woodcock, Cliff Jones |
| Publication details | |
| Publisher | Springer Science+Business Media |
| Publication history | 1989–present |
| Frequency | Quarterly |
| Impact factor (2010) |
1.170 |
| Indexing | |
| ISSN | 0934-5043 (print) 1433-299X (web) |
| OCLC number | 42939863 |
| Links | |
Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.[1]